package interfaces.managers;

import interfaces.IRespuesta;
import tdg.contract.semanticAnnotations.ImportClass;
import tdg.contract.semanticAnnotations.Init;
import tdg.contract.semanticAnnotations.Pre;
import tdg.contract.semanticAnnotations.Pos;
import tdg.contract.semanticAnnotations.Inv;
import tdg.contract.semanticAnnotations.Query;

public interface IValoracion {
	@Pre ({"r != null #NullPointerException", "valoracion >= -5 && valoracion <= 5 #IllegalArgumentException"})
	public void valora(IRespuesta r, int valoracion);
}
